Ce logiciel est le 4140e le plus populaire dans le classement mondial Wikipédia de logiciels. L'article "Vampire (theorem prover)" sur Wikipédia en anglais a 13.3 points pour la qualité (au 1 août 2024). L'article contient 5 références et 3 sections. L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.
Depuis la création de l'article "Vampire (theorem prover)", son contenu a été rédigé par 31 utilisateurs enregistrés de Wikipédia en anglais et édité par 31 utilisateurs Wikipédia enregistrés dans toutes les langues.
Vampire (theorem prover) est à la 4140e place dans le classement mondial des logiciels sur Wikipédia dans tout le temps.
L'article est cité 16 fois dans Wikipédia en anglais et cité 16 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
Le classement de popularité le plus élevé depuis 2008:
Il existe 1 version linguistique pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).
L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).
| Meilleur rang | anglais: n° 355287 01.2009 |
Mondial: n° 560947 07.2008 |
| Meilleur rang | anglais: n° 61346 06.2004 |
Mondial: n° 113980 06.2004 |
Au 26 octobre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Ilia Topuria, Lyle et Erik Menendez, Hansi Flick, Venom: The Last Dance, El Clásico, élection présidentielle américaine de 2024, Khamzat Chimaev, BRICS, Max Holloway, Shohei Otani.
Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Freddie Freeman, Rodney Alcala, UFC 308, Venom: The Last Dance, Fernando Valenzuela, Woman of the Hour, Ilia Topuria, Lyle and Erik Menéndez, Deaths in 2024, Phil Lesh.
Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information
$$Qualité=1/c∑↙{i=1}↖c nm_i-RS=1/5(9.85+4.1+0+21.43+42.83)-2.35$$
where:
Les résultats des calculs peuvent être légèrement différents en raison des valeurs arrondies des mesures normalisées dans les formules
